2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Gordon Plotkin
,
Colin Stirling
,
Mads Tofte
Категория:
Языкознание
83.06 Mb
#2
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Gordon Plotkin
,
Colin Stirling
,
Mads Tofte
9.93 Mb
#3
Logical frameworks
Gèrard Huet
,
Gordon Plotkin
4.28 Mb
#4
Typed Lambda Calculi and Applications, TLCA '95 2 conf
Mariangiola Dezani-Ciancaglini
,
Gordon Plotkin
Категория:
Cs_Computer science
,
CsLn_Lecture notes
3.54 Mb
#5
Transactions on Computational Systems Biology 6 conf
Gordon Plotkin
,
Corrado Priami
Категория:
CsLn_
4.42 Mb
#6
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Yves Bertot
,
Gérard Huet
,
Jean-Jacques Lévy
,
Gordon Plotkin
4.04 Mb